Errors and Misconceptions in College Level Theorem Proving

نویسندگان

  • JOHN SELDEN
  • Joseph D. Novak
  • Annie Selden
  • John Selden
چکیده

ALGEBRA Abstract algebra, the course from which our examples are selected, is a three hour per week year sequence usually taken in the third year of college. At this stage in a student's education the rapid development of reasoning skills is important and we have taken it as a major objective of the course.algebra, the course from which our examples are selected, is a three hour per week year sequence usually taken in the third year of college. At this stage in a student's education the rapid development of reasoning skills is important and we have taken it as a major objective of the course. Abstract algebra is a particularly good vehicle for teaching reasoning because the proofs are less complicated than, say, advanced calculus, and the notation is not particularly complex. It is also useful that students have not seen this topic before and it is difficult for them to lift proofs from textbooks, so they must rely on their own reasoning and ideas.algebra is a particularly good vehicle for teaching reasoning because the proofs are less complicated than, say, advanced calculus, and the notation is not particularly complex. It is also useful that students have not seen this topic before and it is difficult for them to lift proofs from textbooks, so they must rely on their own reasoning and ideas. THE SOCRATIC-MOORE METHOD We provide the students with a short set of notes containing definitions, theorems, problems, and occasional examples, but no proofs or solutions. We do not give formal lectures although we answer questions. Students present their work in class and we provide evaluations, detailed criticisms and suggestions.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving

In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...

متن کامل

A fixed point method for proving the stability of ring $(alpha, beta, gamma)$-derivations in $2$-Banach algebras

In this paper, we first present the new concept of $2$-normed algebra. We investigate the structure of this algebra and give some examples. Then we apply a fixed point theorem to prove the stability and hyperstability of $(alpha, beta, gamma)$-derivations in $2$-Banach algebras.

متن کامل

Cogent: Accurate Theorem Proving for Program Verification

Many symbolic software verification engines such as Slam and ESC/Java rely on automatic theorem provers. The existing theorem provers, such as Simplify, lack precise support for important programming language constructs such as pointers, structures and unions. This paper describes a theorem prover, Cogent, that accurately supports all ANSI-C expressions. The prover’s implementation is based on ...

متن کامل

On the Effectiveness of Theorem Proving Guided Discovery of Formal Assertions for a Register Allocator in a High-Level Synthesis System

This paper presents a formal speciication and a proof of correctness for the register optimization task in high{level synthesis. A widely implemented register optimization algorithm is modeled in higher{order logic and veriied in a theorem prover environment. A rich collection of correctness properties is systematically formulated during the theorem proving exercise. These properties constitute...

متن کامل

Comparison of the Effectiveness of Cognitive-Behavioral Therapy and Acceptance and Commitment Therapy on Reducing Dysfunctional Attitudes and Cognitive Misconceptions in People with Methadone Maintenance Treatment

Objective: The present study aimed to compare the effectiveness of cognitive-behavioral therapy and acceptance and commitment therapy on reducing dysfunctional attitudes and cognitive misconceptions in people with methadone maintenance treatment. Method: This was a quasi-experimental study using pretest-posttest with a control group. From all the people referred to Roozbeh substance abuse treat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003